#include <stdio.h>

int main() {
    int arr[4];
    int temp[4] = {0};  int i, j = 0;

    for (i = 0; i < 4; i++) {
        scanf("%d", &arr[i]);
    }

    for (i = 0; i < 4; i++) {
        if (arr[i] != 0) {
            temp[j++] = arr[i];
        }
    }

    for (i = 0; i < 3; i++) {
        if (temp[i] != 0 && temp[i] == temp[i + 1]) {
            temp[i] *= 2;
            temp[i + 1] = 0;
        }
    }

    int result[4] = {0};
    j = 0;
    for (i = 0; i < 4; i++) {
        if (temp[i] != 0) {
            result[j++] = temp[i];
        }
    }

    for (i = 0; i < 4; i++) {
        printf("%d", result[i]);
        if (i < 3) printf(" ");
    }

    return 0;
}
